%option noyywrap
%{
  #include<set>
  #include<iostream>
  #include<string>
  using namespace std;
  int count=0;
  set<string> table;
%}
digit [0-9]
delim [ \t\n]
number {digit}+(\.{digit}+)?(E[+\-]?{digit}+)?

%%
NAME$ {printf("ZMT");}
^digit{9} {printf("201492331");}
{number} {printf("%.f",0.5+atof(yytext)*2+201492331);table.insert(yytext);count++;}
. {ECHO;}
%%

int main()
{
	yylex();
	cout<<"length:"<<count<<"Newlength:"<<table.size();
	return 0;
}

